E (SETQ $PRINT-BUDGET-MONTHLY nil) READ (SALARY IN DSK (PRO HE)) READ (dma81 IN DSK (PRO HE)) BUDGET first-year (dma811 OUT DSK (PRO HE)) BUDGET second-year (dma812 OUT DSK (PRO HE))